扫描下载APP
其它方式登录
谷歌发布新旗舰大模型Gemini 4 Argon，主打企业级长链路任务处理能力，在软件工程、金融法律、科研等硬核场景表现突出，支持百万级token跨请求续写；但其在精细交互、物理模拟等任务中表现不佳，输出token消耗高导致实际成本反超竞品，首发低价策略实为吸引企业接入生态的短期引流手段。
谷歌发布新一代旗舰推理模型Gemini 4 Argon，全球开放API调用与订阅服务，主打长程深度任务，单次输出上限达100万Token；首发价每百万输入Token仅2美元，为竞品Astra的五分之一，以价格战重塑AI御三家格局；强调内部实测验证与安全能力，目标是通过低价高质模型抢占生态入口。
谷歌发布新一代旗舰基座模型Gemini 4 Argon，支持百万级上下文、多模态推理与具身智能，显著提升长程软件工程、科学计算及机器人仿真能力；API限时半价、缓存成本直降95%，已在Chrome架构重构、Gemma推理优化、人形机器人投掷控制等真实场景落地验证。
谷歌Gemini 4系列模型正密集内测，除已官宣的旗舰模型Argon外，内部代号Carbon、Barium等新版本陆续曝光，其中Carbon在编程任务上获员工好评，称其表现接近Claude Opus 5.5；同时Gemini 4 Flash也现身SDK，但免费用户访问权限被大幅收紧，模型订阅体系升级。
谷歌下一代大模型Gemini 4 Argon已对部分Pro用户开放，深度集成于Google Cloud、编程工具Antigravity及AI管家Concierge，具备自主代码提交、大规模代码库迁移和量子计算辅助等突破性能力，标志着AI从辅助工具向自主智能体范式转变。
谷歌加速推进Gemini 4研发，确认其已进入后训练早期阶段；同步推动TPU芯片上天测试，与Planet公司合作通过SpaceX发射搭载4颗TPU的卫星验证太空AI算力可行性；同时因AI发展过快引发内部工程师伦理担忧而辞职，凸显技术狂奔背后的治理挑战。
Anthropic公司旗下Claude模型在数千美元算力成本下，仅靠提示词驱动，几乎无人监督地完成N=4超杨‑米尔斯理论九圈散射振幅计算，打破人类保持三年的八圈纪录，获前纪录保持者兰斯·迪克逊核验并称其震撼。该突破验证了AI在理论物理符号计算中的工程执行能力，但未提出新物理方法。
谷歌发布新一代大模型Gemini 4 Pro，实测在3D物理模拟、代码生成、长文本推理及AI智能体能力上大幅超越Opus 5.5和GPT-6等竞品；其预训练仅耗时两个月即进入后训练阶段，支持1000万上下文、自主联网与机器人控制，定价极具竞争力，预计十一前后正式发布。
Anthropic、谷歌和OpenAI近期未官宣即上线新一代大模型Opus 5.2与Gemini 4 Pro，采用灰度路由、第三方盲测等隐蔽方式快速部署，以降低发布风险、获取真实负载数据并规避政策与口碑不确定性，反映行业正压缩传统发布会流程，转向更务实、敏捷的模型交付模式。
文章报道谷歌疑似在AI竞技场Arena泄露下一代旗舰模型Gemini 4 Pro，其性能远超已发布的Gemini 3.8 Flash，在编码、Agent、推理等基准测试中大幅领先GPT-6 Astra和Claude Fable；该传闻引发对RSI（递归自我改进）技术加速AI研发进程的广泛关注，并揭示前沿AI公司‘减速倡议’与实际竞相发布新模型之间的矛盾。
谷歌DeepMind疑似提前上线新一代旗舰大模型Gemini 4 Pro，以gemini-3.8-flash为马甲在Arena平台匿名亮相，在编码、智能体、推理、3D/SVG生成及网页设计等多维度全面超越GPT-6 Astra和Claude Fable 5.1，性能与性价比领先，背后依托RSI（递归自我改进）技术突破。
HYPE代币正面临技术面反弹与基本面利好双重驱动：AQAv2收益分成机制将于8月26日启动，预计每年贡献约2亿美元用于回购销毁HYPE；HIP-4结果市场即将主网上线，支持无许可部署，测试网已上线超180个预测合约，聚焦体育竞技类。传统金融机构通过PURR增加HYPE敞口，强化场外支撑。
Hyperliquid宣布HIP-4开放无许可部署，允许第三方质押50万HYPE自主创建预测市场事件，意图复制HIP-3成功路径以挑战Polymarket等预测市场龙头，但面临高质押门槛、错失世界杯关键窗口期及当前交易量低迷等严峻挑战。
Meta CTO承认为确保LLaMA 3成功，透支了全部技术储备，导致LLaMA 4研发断档，在推理与MoE等关键领域落后；公司被迫启动战时动员，强推数千工程师参与AI代码标定，并采集员工人机交互数据以提升AI使用电脑能力；同时提出单体大模型时代终结，转向分层小模型协同架构，并强调自研模型是战略底牌，保障产品自主权与谈判主动权。
OProver是由M-A-P开源社区与南京大学等团队提出的全开源Lean 4定理证明模型，创新性地将检索增强、编译器反馈与多轮修复内化至训练策略，解决训练与部署的‘策略错位’问题；32B版本在五项评测中三项第一、两项第二，全面超越671B的DeepSeek-Prover-V2，并同步开源OProofs语料库及多规模模型权重。
